1. Introduction to metamathematics
المؤلف: Kleene, Stephen Cole, 9091-4991
المکتبة: (طهران)
موضوع: ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
2. The collected papers of Gerhard Gentzen.
المؤلف: Edited by M. E. Szabo
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
3. Thinking about G?del and Turing
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
4. Thinking about G?�del and Turing
المؤلف: / Gregory J Chaitim
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
رده :
QA
,
9
.
65
,.
C43
,
2007
5. Undecidable theories
المؤلف: / by Alfred Tarski
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
